f : (Str)a -> (Str)a
f = |x| x

f ("Str", 42)